third order predicate logic
三阶谓词逻辑
热门查询
- futurist n. 未来主义者；未来派画家 adj. 未来主义的
- equidistant adj. 等距的；距离相等的
- recessed adj. 嵌壁式的；深底的 v. 使凹进；休会（recess的过去分词）
- Massachusetts n. 马萨诸塞州（美国）
- tuna n. 金枪鱼，鲔鱼 n. (Tuna)人名；(葡、匈、捷、土、塞)图纳
- profession n. 职业，专业；声明，宣布，表白
- adoptive adj. 采用的；有收养关系的
- Rhenish adj. 莱因河的
- preclusion n. 排除；阻止；妨碍；预防
- cheeriness n. 开心，快活
- aloof adj. 冷淡的；远离的；冷漠的 adv. 远离；避开地
- synchronous adj. 同步的；同时的
- abb n. 纬纱；横丝；等外羊毛 n. (Abb)人名；(德)阿布
- Millett n. (Millett)人名；(英)米利特
- hemorrhaging n. 出血，溢血 v. 大出血；损失（hemorrhage的ing形式）
- dermatologist n. 皮肤科医生；皮肤学者
- downpour n. 倾盆大雨；注下
- larval adj. 幼虫的；幼虫状态的；潜在的；隐蔽的
- used to modalv. （用于过去持续或经常发生的事）曾经 v. 过去常常 [网络] 习惯于；过去经常；的用法
- ovipositor n. [昆] 产卵器；[昆] 产卵管
